superintendent of schools in a given district